A New Higher Homotopy Groupoid: the Fundamental Globular Ω-groupoid of a Filtered Space
نویسنده
چکیده
We show that the graded set of filter homotopy classes rel vertices of maps from the n-globe to a filtered space may be given the structure of (strict) globular ω-groupoid. The proofs use an analogous fundamental cubical ω-groupoid due to the author and Philip Higgins in 1981. This method also relates the construction to the fundamental crossed complex of a filtered space, and this relation allows the proof that the crossed complex associated to the free globular ω-groupoid on one element of dimension n is the fundamental crossed complex of the n-globe.
منابع مشابه
2 2 Fe b 20 07 A new higher homotopy groupoid : the fundamental globular ω - groupoid of a filtered space ∗
We use the n-globe with its skeletal filtration to define the fundamental globular ω–groupoid of a filtered space; the proofs use an analogous fundamental cubical ω–groupoid due to the author and Philip Higgins. This method also relates the construction to the fundamental crossed complex of a filtered space, and this relation allows the proof that the crossed complex associated to the free glob...
متن کاملA Homotopy Double Groupoid of a Hausdorff Space
We associate to a Hausdorff space, X, a double groupoid, ρ 2 (X), the homotopy double groupoid of X. The construction is based on the geometric notion of thin square. Under the equivalence of categories between small 2-categories and double categories with connection given in [BM] the homotopy double groupoid corresponds to the homotopy 2-groupoid, G2(X), constructed in [HKK]. The cubical natur...
متن کاملHomotopy in Cat via Paths and the Fundamental Groupoid of a Category
We construct an endofunctor of paths in the category of small category and show how to construct the standard homotopy invariants from it. We give a novel proof that the fundamental groupoid of a category is its associated universal groupoid.
متن کاملThe Fundamental Category of a Stratified Space
The fundamental groupoid of a locally 0 and 1-connected space classifies covering spaces, or equivalently local systems. When the space is topologically stratified, Treumann, based on unpublished ideas of MacPherson, constructed an ‘exit category’ (in the terminology of this paper, the ‘fundamental category’) which classifies constructible sheaves, equivalently stratified etale covers. This pap...
متن کاملOn the homotopy type of Lie groupoids
We propose a notion of groupoid homotopy for generalized maps. This notion of groupoid homotopy generalizes the notions of natural transformation and strict homotopy for functors. The groupoid homotopy type of a Lie groupoid is shown to be invariant under Morita equivalence. As an application we consider orbifolds as groupoids and study the orbifold homotopy between orbifold maps induced by the...
متن کامل